1. Iterated inductive definitions and subsystems of analysis: recent proff-theoretical studies
پدیدآورنده : )by( Wilfreid Buchholz )et al(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
